#ifndef LECTEURPHRASEAVECTABLE_H_
#define LECTEURPHRASEAVECTABLE_H_

#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include <string>
using namespace std;

class LecteurPhraseAvecTable {
public:
	LecteurPhraseAvecTable(string nomFich);	// Construit un lecteur de phrase pour vérifier
	                                        // la syntaxe du programme dans le fichier nomFich

	void analyse();   // Si le contenu du fichier est conforme à la grammaire,
	                  //   cette méthode se termine normalement et affiche un message "Syntaxe correcte".
                          //   la table des symboles (ts) aura été construite
	                  // Sinon, le programme sera interrompu (exit).
	inline TableSymboles getTs ()   { return ts; } // accesseur

private:
    LecteurSymbole ls;  // le lecteur de symboles utilisé pour analyser le fichier
    TableSymboles  ts;  // la table des symboles valués
    
  // implémentation de la grammaire
    void programme(); //   <programme> ::= debut <seqInst> fin <EOF>
    void seqInst(); //     <seq_ins> ::= <inst> ; { <inst> ; }
    void inst(); //        <inst> ::= <affectation>
    void affectation(); // <affectation> ::= <variable> = <expression>
    void expression(); //  <expression> ::= <facteur> { <opBinaire> <facteur> }
    void facteur(); //     <facteur> ::= <entier>  |  <variable>  |  - <facteur>  |  ( <expression> )
    void terme(); //     <facteur> ::= { <opMult> <facteur> }
    void opAdd(); //       <opAdd> ::= + | -
    void opMult(); //      <opMult> ::= * | /
    void expBool(); //     <expBool> ::= <relation> { <opBool> <relation> }
    void opBoolEt();
    void opBoolOu();
    void relation(); //   <relation>::= <expression> { <opRel> <expression> }
    void opRel(); //       <opRel> ::= == | != | > | >= | < | <=
    void opUnaire(); //    <opUnaire> ::= - | non
    void instSi();
    void instTq();
    void instRepeter();
    void instPour();
    void instLire();
    void instEcrire();
    void expBoolEt();//	<expBoolEt> ::= <expBoolOu> { et <expBoolOu> }
    void expBoolOu();// <expBoolOu> ::= <expBoolRela> { ou <expBoolRela> }
    
    
    // outils pour se simplifier l'analyse syntaxique
    void testerSymCour (string ch);  // si symbole courant != ch, erreur : on arrete le programme, sinon rien
    void sauterSymCour (string ch);  // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
    void erreur (string mess);      // affiche les message d'erreur mess et arrete le programme
};

#endif /* LECTEURPHRASEAVECTABLE_H_ */
